Testing distributed embedded systems through logic analyzer
نویسندگان
چکیده
منابع مشابه
Testing Temporal Logic Properties in Distributed Systems
The concept of event-based behavioral abstraction (EBBA) is shown to facilitate the Design For Testability (DFT) if the set of events is well-chosen. We provide a prede ned set of events which, together with linear-time temporal logic, can be used for expressing behavioral properties in object-oriented distributed systems. This allows automizing several steps in the testing process: instrumenti...
متن کاملTesting Distributed Systems Through Symbolic Model Checking
The observation of a distributed system’s finite execution can be abstracted as a partial ordered set of events generally called finite (partial order) trace. In practice, this trace can be obtained through a standard code instrumentation, which takes advantage of existing communications between processes to partially order events of different processes. We show that testing that such a distrib...
متن کاملA Configurable Signal Analyzer for Embedded Systems
Rapid adaptability is a critical requirement for modern communication intelligence systems. This paper explores the concept of combining model based design with a runtime framework to realize an easily reprogrammable signal analyzer for embedded COMINT systems. Signal processing experts design algorithms using modeling tools tailored to the domain. The tools produce output that can be loaded di...
متن کاملModelling and Testing OO Distributed Systems with Temporal Logic Formalisms
Our ability to test a distributed system is directly related to the quality of the system's speci cation. The speci cation must be complete. That is, the system should have a speci ed behavior for every point in the input space. The speci cations of all of the components in the system must be consistent with each other. Ultimately the speci cation must accurately (i.e., correctly) model the rea...
متن کاملOn Distributed Embedded Systems
Thinking of distributed embedded systems (DES)—let alone the more general area of embedded computing—as a unified topic is difficult. Nevertheless, it is a vastly important topic and potentially represents a revolution in information technology (IT). DES is driven by the increasing capabilities and ever-declining costs of computing and communications devices, resulting in networked systems of e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Engineering & Technology
سال: 2018
ISSN: 2227-524X
DOI: 10.14419/ijet.v7i2.7.10601